Results for 'Von H. Arnold Schmidt'

1000+ found
Order:
  1.  3
    Über einige neuere untersuchungen zur modalitätenlogik.Von H. Arnold Schmidt - 1958 - Dialectica 12 (3‐4):408-421.
    ZusammenfassunuIn dem vorliegenden Bericht über einige Arbeiten des Verfassers und eine daran anschliessende Arbeit von G. Emde, Marburg, wird eine Reihe von Ergebnissen behandelt, die die Kombinationen der Grundmodalitäten « Möglichkeit » und « Notwendigkeit » betreffen. Ausgehend von sehr allgemeinen Rahmenkodifikaten wird die durch Basisreduktion zu gewinnende Liste der endlich vielen implikativen Modalitätenlogiken mit idempotenter Möglichkeit erörtert; bei wichtigen Unterklassen der nicht notwendig idempotenten implikativen Modalitätenlogiken treten neben der Basisreduktion vor allem spezielle Entscheidungsprobleme in den Vordergrund.RésuméDans le rapport ci‐dessus (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  2
    Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit.H. Arnold Schmidt - 1956 - Archive for Mathematical Logic 2 (2-4):33.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Contributions to Mathematical Logic.H. Arnold Schmidt & Ernst Jochen Thiele - 1970 - Philosophy of Science 37 (4):623-625.
  4.  8
    Oberschelp Arnold. Untersuchungen zur mehrsortigen Quantorenlogik. Mathematische Annalen, Bd. 145 , S. 297–333.H. Arnold Schmidt - 1962 - Journal of Symbolic Logic 27 (2):225-226.
  5.  3
    Contributions to Mathematical Logic Proceedings of the Logic Colloquium, Hannover 1966.H. Arnold Schmidt, Kurt Schutte & H. J. Thiele (eds.) - 1968 - New York, NY, USA: North-Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  5
    Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen.H. Arnold Schmidt - 1957 - Archive for Mathematical Logic 3 (1-2):29.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  1
    Lorenzen Paul. Zur Begründung der zweiwertigen Aussagenlogik. Ebd., S. 29–32; auch ebd., S. 109–112.H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):175-175.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  1
    P. C. Gilmore. An addition to “Logic of many-sorted theories.”Compositio mathematica, vol. 13 , pp. 277–281.H. Arnold Schmidt - 1968 - Journal of Symbolic Logic 32 (4):521.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  2
    Wolfgang Yourgrau and Donald Livingstone. On the matter of mathematical constants. Methodos, vol. 9 , pp. 3–29.H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):115-115.
  10. Mathematische Gesetze der Logik.H. Arnold Schmidt - 1960 - Berlin,: Springer.
     
    Export citation  
     
    Bookmark   4 citations  
  11.  5
    Törnebohm Håkan. Notes on modal operators. Theoria , vol. 24 , pp. 130–135.H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (4):368-368.
  12.  1
    Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit.H. Arnold Schmidt - 1956 - Archiv für Philosophie 5 (4):353.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Contributions to mathematical logic.H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.) - 1968 - Amsterdam,: North-Holland.
     
    Export citation  
     
    Bookmark   1 citation  
  14.  4
    Un Procédé Maniable de Décision pour la Logique Propositionelle Intuitionniste.H. Arnold Schmidt, A. Mostowski, Arnold Schmidt, A. Tarski & R. Feys - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  8
    Harrop R.. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 , pp. 1–13. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.
  16.  6
    Lorenzen Paul. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 , S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 , S. 95–108. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    Ridder J.. Formalistische Betrachtungen über intuitionistische und verwandte logische Systeme. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 , S. 327–336, 446–455, 787–799, 1375–1389, und Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, Bd. 54 , S. 94–105, 169–177, 226–236; auch Indagationes mathematical Bd. 12 , S. 75–84, 98–107, 231–243, 445–459, und Bd. 13 , S. 94–105, 169–177, 226–236. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):175-176.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  11
    Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  19.  2
    Schmidt Arnold. Über deduktive Theorien mit mehreren Sorten von Grunddingen. Mathematische Annalen, vol. 115 no. 4 , pp. 485–506. [REVIEW]C. H. Langford - 1939 - Journal of Symbolic Logic 4 (2):98-98.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  1
    Törnebohm Håkan. Outlines of a Boolean tensor algebra with applications to the lower functional calculus. Theoria , vol. 24 , pp. 39–47. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (4):367-368.
  21.  6
    Review: Hakan Tornebohm, Notes on Modal Operators. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (4):368-368.
  22.  3
    Review: J. Ridder, Formalistische Betrachtungen Uber Intuitionistische und Verwandte Logische Systeme. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):175-176.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  7
    Rescher Nicholas. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 447–453. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. Review: Nicholas Rescher, Many-Sorted Quantification. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):123-124.
     
    Export citation  
     
    Bookmark  
  25. Review: P. C. Gilmore, An Addition to "Logic of Many-Sorted Theories.". [REVIEW]H. Arnold Schmidt - 1967 - Journal of Symbolic Logic 32 (4):521-521.
  26.  2
    Review: Paul Lorenzen, Zur Begrundung der Modallogik. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  1
    Review: Ronald Harrop, The Finite Model Property and Subsystems of Classical Propositional Calculus. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):181-181.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  2
    Review: R. Harrop, On the Existence of Finite Models and Decision Procedures for Propositional Calculi. [REVIEW]H. Arnold Schmidt - 1960 - Journal of Symbolic Logic 25 (2):180-181.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Review: Wolfgang Yourgrau, Donald Livingstone, On the Matter of Mathematical Constants. [REVIEW]H. Arnold Schmidt - 1966 - Journal of Symbolic Logic 31 (1):115-115.
  30.  5
    Some Forms of Models of Propositional Calculi.R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop - 1975 - Journal of Symbolic Logic 40 (2):251-251.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  4
    Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen.J. Diller, H. Arnold Schmidt & K. Schutte - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  1
    Lesefrilchte.V. H., Hellmut Wolff, Arnold Kowalewski, Raymund Schmidt, Karl Roretz, Franz Oppenheimer, Friedrich Blaschke, Studienassessor R. Lindemann, S. R. & Studienassessor Rudolf Lindemann - 1920 - Annalen der Philosophie 2 (1):302-320.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  4
    B. Zur erklärung und kritik der schriftsteller.Arnold Schaefer, Theophilus Roeper, A. Baumstark, M. Schmidt & Ernst von Leutsch - 1862 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 18 (1):187-200.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  3
    Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  3
    VI. Zur erklärung von Cicero gegen Verres I, cap. 50–56.H. Fechner & M. Schmidt - 1860 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 16 (2):234-269.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Review: H. Arnold Schmidt, Uber Einige Neuere Untersuchungen zur Modalitatenlogik. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):230-230.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  1
    Contributions to Mathematical Logic. H. Arnold Schmidt, Kurt Schütte, Ernst Jochen Thiele. [REVIEW]Arthur Skidmore - 1970 - Philosophy of Science 37 (4):623-625.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251-251.
  39. XXIII. Zur kritik und erklärung von Plato’s Phädon.H. Schmidt - 1850 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 5 (4):710-721.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  3
    Zur Sprache bringen statt herrschen: vorsokratische empirische Grundlegung von Politik und Publizistik.Robert H. Schmidt - 2018 - Berlin: Duncker Und Humblot. Edited by Stefan Volkmar Heitzmann.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  9
    Review: J. Diller, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    C. Zur erklärung und kritik der Schriftsteller.L. Urlichs, W. C. Kayser, A. Meineke, Ernst von Leutsch, M. Schmidt, H. Düntzer & Philipp Wagner - 1861 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 17 (2):347-367.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Die Schöpfungsgeschichte der Priesterschrift: zur Uberlieferungsgeschichte von Genesis 1,1–2,4a.Werner H. Schmidt - 1964
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  44.  1
    Review: Arnold Schmidt, Zum Verhaltnis von Existenz und Widerspruchsfreiheit. [REVIEW]Wilhelm Ackermann - 1954 - Journal of Symbolic Logic 19 (2):132-132.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Kritik der Reinen Vernunft, Herausg. Von H. Schmidt. Volksausg.Immanuel Kant & Heinrich Schmidt - 1908
    No categories
     
    Export citation  
     
    Bookmark  
  46.  2
    Review: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
  47.  1
    J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 109–120. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
  48.  9
    R. Harrop. Some forms of models of propositional calculi. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 163–174. - Ronald Harrop. On the equivalence for non-derivability testing of finite Smiley models and finite modified Smiley models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 17 , pp. 137–143. [REVIEW]Dolph Ulrich - 1975 - Journal of Symbolic Logic 40 (2):251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  1
    Immanuel Kant's Vorlesungen über die Metaphysik: nebst einer Einleitung, welche eine kurze Uebersicht der wichtigsten Veränderungen der Metaphysik seit Kant enthält : zum Drucke befördert von dem Herausgeber der Kantischen Vorlesungen über die philosophische Religionslehre [nämlich von Carl Hheinrich Ludwig Poelitz].Immanuel Kant & K. H. Schmidt - 1821 - Pflugbeil.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    Das Recht im Blick der Anderen: zu Ehren von Prof. Dr. Dres. h.c. Eberhard Schmidt-Assmann.Eberhard Schmidt-Assmann & Thorsten Moos (eds.) - 2016 - Tübingen: Mohr Siebeck.
    English summary: The modern age understands justice not only as being an object of jurisprudence. Historical, philosophical, social and cultural studies along with theological approaches each draw near to justice in their own way. This collection devotes itself to the intricate interaction of outside perspectives with the judicial-interdisciplinary thematisation of the law, presenting revised papers delivered at the Protestant Institute for Interdisciplinary Research's symposium in honour of Professor Dr. Dres. h.c. Eberhard Schmidt-Aamann. The case studies and basic considerations deal (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000